Goto

Collaborating Authors

 Nanning


Proceedings of the 13th International Conference on Automated Deduction in Geometry

arXiv.org Artificial Intelligence

Automated Deduction in Geometry (ADG) is a forum to exchange ideas and views, to present research results and progress, and to demonstrate software tools at the intersection between geometry and automated deduction. Relevant topics include (but are not limited to): polynomial algebra, invariant and coordinate-free methods; probabilistic, synthetic, and logic approaches, techniques for automated geometric reasoning from discrete mathematics, combinatorics, and numerics; interactive theorem proving in geometry; symbolic and numeric methods for geometric computation, geometric constraint solving, automated generation/reasoning and manipulation with diagrams; design and implementation of geometry software, automated theorem provers, special-purpose tools, experimental studies; applications of ADG in mechanics, geometric modelling, CAGD/CAD, computer vision, robotics and education. Traditionally, the ADG conference is held every two years. The previous editions of ADG were held in Nanning in 2018, Strasbourg in 2016, Coimbra in 2014, Edinburgh in 2012, Munich in 2010, Shanghai in 2008, Pontevedra in 2006, Gainesville in 2004, Hagenberg in 2002, Zurich in 2000, Beijing in 1998, and Toulouse in 1996. The 13th edition of ADG was supposed to be held in 2020 in Hagenberg, Austria, but due to the COVID-19 pandemic, it was postponed for 2021, and held online (still hosted by RISC Institute, Hagenberg, Austria), September 15-17, 2021 (https://www.risc.jku.at/conferences/adg2021).


Potential early diagnostic biomarkers of sepsis

#artificialintelligence

Objective: The goal of this article was to identify potential biomarkers for early diagnosis of sepsis in order to improve their survival. Methods: We analyzed differential gene expression between adult sepsis patients and controls in the GSE54514 dataset. Coexpression analysis was used to cluster coexpression modules, and enrichment analysis was performed on module genes. We also analyzed differential gene expression between neonatal sepsis patients and controls in the GSE25504 dataset, and we identified the subset of differentially expressed genes (DEGs) common to neonates and adults. All samples in the GSE54514 dataset were randomly divided into training and validation sets, and diagnostic signatures were constructed using least absolute shrink and selection operator (LASSO) regression.


Chinese subway stations now let you pay for tickets by scanning your face

#artificialintelligence

Facial recognition technology is used across China for everything from identifying criminals to measuring students' attention in class. Now, it has debuted a system in its subway that lets you use your face as a ticket. A report from South China Morning Post suggests the subway system in the southern city of Shenzhen has started using facial recognition technology to let folks over 60 years of age register themselves for free subway rides. Other cities such as Jinan, Shanghai, Qingdao, Nanjing, and Nanning are currently experimenting with this system. The technology in Shenzen has been deployed to 18 stations with 28 automatic gate machines and 60 self-service ticket processors.


Nanning holds seminar on AI application in medicine

#artificialintelligence

A medical AI expert shares views from his experiences at the seminar. More than 30 local government representatives and experts in academic, medical, and industrial fields were invited to explore the pressing issues, pain points, and future development of artificial intelligence (AI) application in medicine in Nanning, Guangxi Zhuang autonomous region. Held by the Chinese Health Information and Big Data Association (CHIBDA) and the Big Data Development Bureau of Guangxi Zhuang Autonomous Region, the seminar aimed to promote the AI application in medical treatment. Participants conducted a discussion on the challenges encountered in the innovative cooperation of medical AI in its use, production, learning, and research, exploring the cooperation models between AI enterprises and hospitals from various perspectives. Combined with the local conditions in Guangxi, they also provided valuable experience and advice for the development of medical AI.


China's toll booth worker is trained to smile and wave like a robot

Daily Mail - Science & tech

This toll booth worker really did stop traffic in China - for his eerie, almost robot-like movements. A trending video shows the man greeting and taking cash from drivers like a machine, and apparently he did so to impress his boss. But many Chinese web users claimed the worker's big grin and rigid actions have left them feeling a bit creeped out. The toll booth worker, named Deng Chuan, reportedly works in Nanjing on the Nanning-Hangzhou highway, according to reports on Chinese media. Footage of him turning his body towards the window, showing a big grin slowly and waving at passing drivers in his small office appeared on Weibo, a Chinese social media platform, on June 13.


HKUST Establishes Joint Lab on Artificial Intelligence and Computer Vision with Face

#artificialintelligence

Megvii's Co-founder and CEO Yin Qi said, "From an academic research team to a commercialized company, I have always sought to balance technical faith and commercial value. The deeper we go into the industry, the more we realize how important scientific research it is, so this year, we set up an academic committee and invited renowned scholars like Andrew Yao Chi-Chih and Nanning Zheng as our consultants. Meanwhile we also hope that we can establish relations with first-class universities such as HKUST, so then, we built the joint laboratory. I think today is a brand new start to both sides, we will regard this as a starting point to our future success in scientific and technological cooperation between HKUST and Megvii."